Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix issue #749 #750

Open
wants to merge 4 commits into
base: humble
Choose a base branch
from
Open

Fix issue #749 #750

wants to merge 4 commits into from

Conversation

Sukhvansh2004
Copy link

@Sukhvansh2004 Sukhvansh2004 commented Jan 15, 2025

So what I saw in the function implementation was that the indexing in the erase function was not correct and the target chain not pushed correctly back into the source chain, so have fixed that.

Fixes #749

Signed-off-by: Sukhvansh2004 <[email protected]>
Signed-off-by: Sukhvansh2004 <[email protected]>
Signed-off-by: Sukhvansh2004 <[email protected]>
@Sukhvansh2004
Copy link
Author

Hi @clalancette ,

I noticed you are an active maintainer of this repository. Would you mind reviewing this PR? If everything looks good, it would be great if you could merge it into the repo.

Thanks for your time and help!

Copy link
Contributor

@tfoote tfoote left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Making a core change like this will need to have a test case that we can review for correctness. And then from that we can consider the correctness of the existing implementation and the new proposed one.

How did you validate the indexing shifts?
And why did you remove the time check?

@@ -1583,25 +1583,24 @@ void BufferCore::_chainAsVector(
}
}

if (source_time != target_time) {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Removing this check is clearly wrong. You only traverse the tree a second time if the times are different.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants